Optimal. Leaf size=172 \[ -i c d \left (a+b \tan ^{-1}(c x)\right )^2-\frac {d \left (a+b \tan ^{-1}(c x)\right )^2}{x}+2 b c d \log \left (2-\frac {2}{1-i c x}\right ) \left (a+b \tan ^{-1}(c x)\right )+\frac {i e \left (a+b \tan ^{-1}(c x)\right )^2}{c}+e x \left (a+b \tan ^{-1}(c x)\right )^2+\frac {2 b e \log \left (\frac {2}{1+i c x}\right ) \left (a+b \tan ^{-1}(c x)\right )}{c}-i b^2 c d \text {Li}_2\left (\frac {2}{1-i c x}-1\right )+\frac {i b^2 e \text {Li}_2\left (1-\frac {2}{i c x+1}\right )}{c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.33, antiderivative size = 172, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 10, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.476, Rules used = {4980, 4846, 4920, 4854, 2402, 2315, 4852, 4924, 4868, 2447} \[ -i b^2 c d \text {PolyLog}\left (2,-1+\frac {2}{1-i c x}\right )+\frac {i b^2 e \text {PolyLog}\left (2,1-\frac {2}{1+i c x}\right )}{c}-i c d \left (a+b \tan ^{-1}(c x)\right )^2-\frac {d \left (a+b \tan ^{-1}(c x)\right )^2}{x}+2 b c d \log \left (2-\frac {2}{1-i c x}\right ) \left (a+b \tan ^{-1}(c x)\right )+\frac {i e \left (a+b \tan ^{-1}(c x)\right )^2}{c}+e x \left (a+b \tan ^{-1}(c x)\right )^2+\frac {2 b e \log \left (\frac {2}{1+i c x}\right ) \left (a+b \tan ^{-1}(c x)\right )}{c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2315
Rule 2402
Rule 2447
Rule 4846
Rule 4852
Rule 4854
Rule 4868
Rule 4920
Rule 4924
Rule 4980
Rubi steps
\begin {align*} \int \frac {\left (d+e x^2\right ) \left (a+b \tan ^{-1}(c x)\right )^2}{x^2} \, dx &=\int \left (e \left (a+b \tan ^{-1}(c x)\right )^2+\frac {d \left (a+b \tan ^{-1}(c x)\right )^2}{x^2}\right ) \, dx\\ &=d \int \frac {\left (a+b \tan ^{-1}(c x)\right )^2}{x^2} \, dx+e \int \left (a+b \tan ^{-1}(c x)\right )^2 \, dx\\ &=-\frac {d \left (a+b \tan ^{-1}(c x)\right )^2}{x}+e x \left (a+b \tan ^{-1}(c x)\right )^2+(2 b c d) \int \frac {a+b \tan ^{-1}(c x)}{x \left (1+c^2 x^2\right )} \, dx-(2 b c e) \int \frac {x \left (a+b \tan ^{-1}(c x)\right )}{1+c^2 x^2} \, dx\\ &=-i c d \left (a+b \tan ^{-1}(c x)\right )^2+\frac {i e \left (a+b \tan ^{-1}(c x)\right )^2}{c}-\frac {d \left (a+b \tan ^{-1}(c x)\right )^2}{x}+e x \left (a+b \tan ^{-1}(c x)\right )^2+(2 i b c d) \int \frac {a+b \tan ^{-1}(c x)}{x (i+c x)} \, dx+(2 b e) \int \frac {a+b \tan ^{-1}(c x)}{i-c x} \, dx\\ &=-i c d \left (a+b \tan ^{-1}(c x)\right )^2+\frac {i e \left (a+b \tan ^{-1}(c x)\right )^2}{c}-\frac {d \left (a+b \tan ^{-1}(c x)\right )^2}{x}+e x \left (a+b \tan ^{-1}(c x)\right )^2+\frac {2 b e \left (a+b \tan ^{-1}(c x)\right ) \log \left (\frac {2}{1+i c x}\right )}{c}+2 b c d \left (a+b \tan ^{-1}(c x)\right ) \log \left (2-\frac {2}{1-i c x}\right )-\left (2 b^2 c^2 d\right ) \int \frac {\log \left (2-\frac {2}{1-i c x}\right )}{1+c^2 x^2} \, dx-\left (2 b^2 e\right ) \int \frac {\log \left (\frac {2}{1+i c x}\right )}{1+c^2 x^2} \, dx\\ &=-i c d \left (a+b \tan ^{-1}(c x)\right )^2+\frac {i e \left (a+b \tan ^{-1}(c x)\right )^2}{c}-\frac {d \left (a+b \tan ^{-1}(c x)\right )^2}{x}+e x \left (a+b \tan ^{-1}(c x)\right )^2+\frac {2 b e \left (a+b \tan ^{-1}(c x)\right ) \log \left (\frac {2}{1+i c x}\right )}{c}+2 b c d \left (a+b \tan ^{-1}(c x)\right ) \log \left (2-\frac {2}{1-i c x}\right )-i b^2 c d \text {Li}_2\left (-1+\frac {2}{1-i c x}\right )+\frac {\left (2 i b^2 e\right ) \operatorname {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+i c x}\right )}{c}\\ &=-i c d \left (a+b \tan ^{-1}(c x)\right )^2+\frac {i e \left (a+b \tan ^{-1}(c x)\right )^2}{c}-\frac {d \left (a+b \tan ^{-1}(c x)\right )^2}{x}+e x \left (a+b \tan ^{-1}(c x)\right )^2+\frac {2 b e \left (a+b \tan ^{-1}(c x)\right ) \log \left (\frac {2}{1+i c x}\right )}{c}+2 b c d \left (a+b \tan ^{-1}(c x)\right ) \log \left (2-\frac {2}{1-i c x}\right )-i b^2 c d \text {Li}_2\left (-1+\frac {2}{1-i c x}\right )+\frac {i b^2 e \text {Li}_2\left (1-\frac {2}{1+i c x}\right )}{c}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.30, size = 204, normalized size = 1.19 \[ \frac {-a^2 c d+a^2 c e x^2+a b c d \left (c x \left (2 \log (c x)-\log \left (c^2 x^2+1\right )\right )-2 \tan ^{-1}(c x)\right )+a b e x \left (2 c x \tan ^{-1}(c x)-\log \left (c^2 x^2+1\right )\right )-b^2 c d \left (i c x \left (\tan ^{-1}(c x)^2+\text {Li}_2\left (e^{2 i \tan ^{-1}(c x)}\right )\right )+\tan ^{-1}(c x)^2-2 c x \tan ^{-1}(c x) \log \left (1-e^{2 i \tan ^{-1}(c x)}\right )\right )+b^2 e x \left (\tan ^{-1}(c x) \left ((c x-i) \tan ^{-1}(c x)+2 \log \left (1+e^{2 i \tan ^{-1}(c x)}\right )\right )-i \text {Li}_2\left (-e^{2 i \tan ^{-1}(c x)}\right )\right )}{c x} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.46, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {a^{2} e x^{2} + a^{2} d + {\left (b^{2} e x^{2} + b^{2} d\right )} \arctan \left (c x\right )^{2} + 2 \, {\left (a b e x^{2} + a b d\right )} \arctan \left (c x\right )}{x^{2}}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.14, size = 597, normalized size = 3.47 \[ a^{2} e x -\frac {a^{2} d}{x}-i c \,b^{2} d \ln \left (c x \right ) \ln \left (-i c x +1\right )+\frac {i c \,b^{2} \ln \left (c x -i\right ) \ln \left (-\frac {i \left (c x +i\right )}{2}\right ) d}{2}+\frac {i c \,b^{2} \ln \left (c^{2} x^{2}+1\right ) \ln \left (c x +i\right ) d}{2}-\frac {i c \,b^{2} \ln \left (c x +i\right ) \ln \left (\frac {i \left (c x -i\right )}{2}\right ) d}{2}+\frac {i c \,b^{2} \dilog \left (-\frac {i \left (c x +i\right )}{2}\right ) d}{2}-i c \,b^{2} d \dilog \left (-i c x +1\right )-\frac {i c \,b^{2} \dilog \left (\frac {i \left (c x -i\right )}{2}\right ) d}{2}+\frac {i b^{2} \dilog \left (-\frac {i \left (c x +i\right )}{2}\right ) e}{2 c}+i c \,b^{2} d \dilog \left (i c x +1\right )-\frac {i b^{2} \dilog \left (\frac {i \left (c x -i\right )}{2}\right ) e}{2 c}+\frac {i c \,b^{2} \ln \left (c x -i\right )^{2} d}{4}-\frac {i c \,b^{2} \ln \left (c x +i\right )^{2} d}{4}+\frac {i b^{2} \ln \left (c x -i\right )^{2} e}{4 c}-\frac {i b^{2} \ln \left (c x +i\right )^{2} e}{4 c}+\frac {i b^{2} \ln \left (c^{2} x^{2}+1\right ) \ln \left (c x +i\right ) e}{2 c}-\frac {i b^{2} \ln \left (c^{2} x^{2}+1\right ) \ln \left (c x -i\right ) e}{2 c}+\frac {i b^{2} \ln \left (c x -i\right ) \ln \left (-\frac {i \left (c x +i\right )}{2}\right ) e}{2 c}+i c \,b^{2} d \ln \left (c x \right ) \ln \left (i c x +1\right )-\frac {i c \,b^{2} \ln \left (c^{2} x^{2}+1\right ) \ln \left (c x -i\right ) d}{2}-\frac {i b^{2} \ln \left (c x +i\right ) \ln \left (\frac {i \left (c x -i\right )}{2}\right ) e}{2 c}-\frac {b^{2} \arctan \left (c x \right )^{2} d}{x}+b^{2} \arctan \left (c x \right )^{2} e x +2 c a b d \ln \left (c x \right )-c a b \ln \left (c^{2} x^{2}+1\right ) d +2 c \,b^{2} \arctan \left (c x \right ) d \ln \left (c x \right )-c \,b^{2} \arctan \left (c x \right ) \ln \left (c^{2} x^{2}+1\right ) d -\frac {b^{2} \arctan \left (c x \right ) \ln \left (c^{2} x^{2}+1\right ) e}{c}-\frac {a b \ln \left (c^{2} x^{2}+1\right ) e}{c}+2 a b \arctan \left (c x \right ) e x -\frac {2 a b \arctan \left (c x \right ) d}{x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {{\left (a+b\,\mathrm {atan}\left (c\,x\right )\right )}^2\,\left (e\,x^2+d\right )}{x^2} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (a + b \operatorname {atan}{\left (c x \right )}\right )^{2} \left (d + e x^{2}\right )}{x^{2}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________